final record MyFinalRecord() { }
